Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
21	Characterizing False-name-proof Allocation Rules in Combinatorial Auctions Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, and Yuko Sakurai ∗ Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:20 Game theory Mechanism design Auctions Auction theory Social choice theory VickreyClarkeGroves auction Combinatory logic Auction Strategyproofness Monotonicity Mode Norm
22	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
23	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
24	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
25	Oh Lord, Please Don’t Let Contracts be Misunderstood, a Variation on Old Gems Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Object-oriented programming languages Combinatory logic Design by contract Enumerated type Contract Objective-C Scope Eiffel Racket
26	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
27	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
28	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
29	ICFP, October 4, 2002 Concatenate, Reverse and Map Vanish For Free Janis Voigtl¨ ander Dresden University of Technology Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Logic in computer science Constructible universe Combinatory logic Probability distributions Standard ML
30	Modelling customer inconvenience in train rescheduling Ambra Toletti Prof. Ulrich Weidmann Institute for Transport Planning and Systems (IVT) Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-11 10:08:20 Operations research Vehicle rescheduling problem Train Expected value Combinatory logic